Overview

In this job, you need to verify if a pizza menu item is correctly represented by a textual model represented in the Warren formalism.

Steps

  1. Examine the pizza menu item
  2. Examine the model
  3. Decide whether the model correctly represents the menu item
  4. If the model is invalid, select what defect it includes

Overview

In this job, you need to verify if a pizza menu item is correctly represented by a textual model represented in the Warren formalism.

Steps

  1. Examine the pizza menu item
  2. Examine the model
  3. Decide whether the model correctly represents the menu item
  4. If the model is invalid, select what defect it includes

Rules & Tips

Rules :

  • Existential restrictions indicate that there must be a property of the specified type. Other types are not restricted.
    Keyword in textual models: at least one

    • For example : "PetLoverTypeB has, amongst other things, at least one Cat pets." - Every instance of PetLoverTypeB has a Cat pet and may also have other pets.

  • Universal restrictions indicate that all property values for the specified property must be of a certain type. All values must be of the type but a property value does not have to exist.
    Keyword in textual models: no other than

    • For example: "PetLoverTypeA has, amongst other things, no other than Dog pets." - If instances of PetLoverTypeA have pets, the pets are always dogs. Instances of PetLoverTypeA, however, may not have any pets.

Tips:

  • The universal restriction does not imply the existential restriction.
  • If some information is not included in the model, the missing information is not false unless it contradicts the model.
Correct Modeling Incorrect Modeling



Hawaii pizzas have, amongst other things, at least one Tomato topping, and at least one Ham topping, and at least one Pineapple topping, and at least one Mozzarella topping, and also no other than Tomato, Ham, Pineapple and/or Mozzarella toppings.



Hawaii pizzas have, amongst other things, no other than Tomato, Ham, Pineapple and/or Mozzarella toppings.

The model does not represent the pizza menu item correctly as it allows for the possibility that Hawaii pizzas have no toppings at all.

Hawaii pizzas have, amongst other things, at least one Tomato topping, and at least one Ham topping, and at least one Pineapple topping, and at least one Mozzarella topping.

The model does not represent the pizza menu item correctly as it allows for the possibility that Hawaii pizzas also have toppings not listed in the menu.





Please make sure you are familiar with the rules and examples provided in the Instructions before answering the question.

Pizza Menu Model
${axiom}



Does the model represent the pizza menu item correctly ?